Minimal Paradefinite Logics for Reasoning with Incompleteness and Inconsistency
نویسندگان
چکیده
Paradefinite (‘beyond the definite’) logics are logics that can be used for handling contradictory or partial information. As such, paradefinite logics should be both paraconsistent and paracomplete. In this paper we consider the simplest semantic framework for defining paradefinite logics, consisting of four-valued matrices, and study the better accepted logics that are induced by these matrices. 1998 ACM Subject Classification I.2.3 Deduction and Theorem Proving, I.2.4 Knowledge Representation Formalisms and Methods, F.4.1 Mathematical Logic
منابع مشابه
Strong Inconsistency in Nonmonotonic Reasoning
Minimal inconsistent subsets of knowledge bases play an important role in classical logics, most notably for repair and inconsistency measurement. It turns out that for nonmonotonic reasoning a stronger notion is needed. In this paper we develop such a notion, called strong inconsistency. We show that—in an arbitrary logic, monotonic or not—minimal strongly inconsistent subsets play the same ro...
متن کاملHandling Inconsistency in Knowledge Bases
Real-world automated reasoning systems, based on classical logic, face logically inconsistent information, and they must cope with it. It is onerous to develop such systems because classical logic is explosive. Recently, progress has been made towards semantics that deal with logical inconsistency. However, such semantics was never analyzed in the aspect of inconsistency tolerant relational mod...
متن کاملINCONSISTENCY–ADAPTIVE MODAL LOGICS On How to Cope with Modal Inconsistency
In this paper, I will characterize a new class of inconsistency–adaptive logics, namely inconsistency–adaptive modal logics. These logics cope with inconsistencies in a modal context. More specifically, when faced with inconsistencies, inconsistency–adaptive modal logics avoid explosion, but still allow the derivation of sufficient consequences to adequately explicate the intended part of human...
متن کاملNew Arguments for Adaptive Logics as Unifying Frame for the Defeasible Handling of Inconsistency
Nearly all popular reasoning forms that handle inconsistencies in a defeasible way have been characterized in terms of inconsistency-adaptive logics in standard format. This format has great advantages, which are explained in Sections 1 and 2. This suggests that inconsistency-adaptive logics form a suitable unifying framework for handling such reasoning
متن کاملA Tableau Algorithm for Paraconsistent and Nonmonotonic Reasoning in Description Logic-Based System
This paper proposes a paraconsistent and nonmonotonic extension of description logic by planting a nonmonotonic mechanism called minimal inconsistency in paradoxical description logics, which is a paraconsistent version of description logics. A precedence relation between two paradoxical models of knowledge bases is firstly introduced to obtain minimally paradoxical models by filtering those mo...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2016